Karthikeyan Bhargavan, Benjamin Beurdouche, Jean Karim Zinzindohoue published a paper in the Communications of the ACM.